Theorem

Note that is is the most important theorem of all of Chapter 2.

Suppose \({latex.inline[v_{1}, ..., v_{m}](v_{1}, ..., v_{m})} is a linearly dependent list in V. Then there exists \){latex.inlinek \in {1, 2, ..., m}} such that ${latex.inlinev{k} \in span(v{1}, ..., v_{k-1})}. Furthermore, if k satisfies the condition above and the kth term is removed from the list, the span does not change.

Proof

Because the list \({latex.inline[v_{1}, ..., v_{m}](v_{1}, ..., v_{m})} is linearly dependent, there exist numbers \){latex.inlinea{1}, ..., a{m}}, not all 0, such that \({latex.inline[a_{1}v_{1} + ... + a_{m}v_{m} = 0](a_{1}v_{1} + ... + a_{m}v_{m} = 0)}. Let k be the largest element of {1, ..., m} such that \){latex.inlinea_{k} \neq 0}. Then:

  1. We can subtract \({latex.inline[v_{k}](v_{k})} from both sides and get that: \){latex.inline-a{k}v{k} = v{1}a{1} + ... + a{k-1}v{k-1}}.
  2. We can divide both sides by \({latex.inline[-a_{k}](-a_{k})} and get \){latex.inlinev{k} = -(a{1}/a{k})v{1} + ... + (-a{k-1}/a{k})v_{k-1}}
  3. Realize that this means that ${latex.inlinev_{k}} is a linear combination of the terms before it and thus it is in the span of the terms before it.
  4. Realize that the reason we needed linear dependence is to ensure that there is an ${latex.inlinea_{k}} that’s not 0 so that we can divide both sides by that and not get something that’s undefined.

Now we show that if the kth term is removed, the span does not change.

Suppose k is any element of {1, ..., m} such that \({latex.inline[v_{k} \in span(v_{1},...,v_{k-1})](v_{k} \in span(v_{1},...,v_{k-1}))}. Let \){latex.inlineb{1},...,b{k-1} \in F} be such that \({latex.inline[v_{k} = b_{1}v_{1} + ... + b_{k-1}v_{k-1}](v_{k} = b_{1}v_{1} + ... + b_{k-1}v_{k-1})}. Suppose \){latex.inlineu \in span(v{1}, ..., v{m})} . Then there exists \({latex.inline[c_{1}, ..., c_{m}](c_{1}, ..., c_{m})} s.t \){latex.inlineu = c{1}v{1} + ... + c{m}v{m}}. But, because \({latex.inline[v_{k}](v_{k})} is in the span of the terms previous, we can replace it with \){latex.inlineb{1}v{1} + ... + b{k-1}v{k-1}} which shows u is in the span of the list obtained by removing the kth term. So removing the kth term does not change the span of the list.